Verifying BDI Agents in Dynamic Environments
نویسندگان
چکیده
منابع مشابه
A general framework for parallel BDI agents in dynamic environments
In this paper, a general framework for the parallel BDI model suitable for dynamic environments is proposed. It is a parallel agent architecture that supports the following agent abilities at architecture level: (1) the ability to monitor the environment at all times and respond to emergencies timely; (2) the ability to reconsider and re-schedule goals, intentions and actions in reaction to une...
متن کاملModelling Internal Dynamic Behaviour of BDI Agents
A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and ...
متن کاملASP-Driven BDI-Planning Agents in Virtual 3D Environments
This paper introduces the agent platform HumanSim, a combination of the BDI-paradigm and Answer Set Programming (ASP), to simulate entities in three-dimensional virtual environments. We show how ASP can be used to (i) annotate a virtual three-dimensional world and (ii) to model the goal selection behavior of a BDI agent. Using this approach it is possible to model the agent domain and its behav...
متن کاملBDI Intelligent Agents for Augmented Exploitation of Pervasive Environments
Agents based application should be able to use pervasive sensors as their own perceptors in order to let the users benefit of context awareness in services exploitation and in order to make mobile services really useful and profitable. The agents described in our approach adapt themselves in response to a changing environment and are able to respond differently, creating entirely new plans, and...
متن کاملGoing beyond BDI: Programming 'BDI+' Agents
The BDI model for intelligent agents has been very influential for both theoretical and practical research in agent technology. It gave rise to a form of agent-oriented programming which could be called ’BDI programming’, the programming of the mental attitudes of agents, where these attitudes pertain to notions in the vein of beliefs, desires and intentions. In this talk I will sketch how we c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings
سال: 2022
ISSN: ['0890-1740']
DOI: https://doi.org/10.18293/seke2022-149